1. A layered declarative approach to ontology translation with knowledge preservation

پدیدآورنده : Corcho, Oscar

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Knowledge representation )Information theory(,، Conceptual structures )Information theory(,، Ontology,Syntax ، Programming languages )Electronic computers(,، Database design,، Expert systems )Computer science(

رده :

Q

387

.

C67

2005

2. ACM Turing Award lectures :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)

رده :

QA76

.

24

.

A33

1987

3. Advances in computers.

پدیدآورنده : edited by Franz L. Alt and Morris Rubinoff.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Computers.,Electronic datat processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.

رده :

QA76

.

A3eb

vol

.

5

4. Advances in computers.

پدیدآورنده : edited by Morris Rubinoff and Marshall C. Yovits.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Computers.,Electronic data processing.,REFERENCE-- Questions & Answers.

رده :

QA76

.

A38eb

vol

.

13

5. Artificial Intelligence, Expert Systems and Languages in Modelling and Simulation : Proceedings of the 1st IMACS Symposium on Artificial Intelligence, Expert Systems, and Languages in Modelling and Simulation, Barcelona, Spain, 2-4 June, 1987

پدیدآورنده : Casimir A. Kulikowski, Huber, Gabriel A. Ferrate

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer simulation,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

9

.

C65I46

1987

6. Computation of language : an essay on syntax, semantics and pragmatics in natural man-machine communication

پدیدآورنده : Hausser, Roland R.

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Artificial intelligence,، Programming languages )Electronic computers(,، Machine theory

رده :

Q

335

.

H39

1989

7. Computers and languages: Theory and Practice

پدیدآورنده : Anton, Nijholt

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Electronic digital computers- Programming,Programming language (Electronic Computer)

رده :

QA

،

76

.

6

،.

N55

،

1988

8. Computers and languages : theory and practice

پدیدآورنده : Nijholt, Anton, 6491-

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer programming,، Programming languages )Electronic computers(

رده :

QA

76

.

6

.

N55

1988

9. Constraint Solving and Language Processing

پدیدآورنده : edited by Denys Duchier, Yannick Parmentier.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

10. Data analysis with Python :

پدیدآورنده : David Taieb.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Electronic data processing.,Machine learning.,Python (Computer program language),Artificial intelligence.,COMPUTERS / Programming Languages / Python,Electronic data processing.,Machine learning.,Python (Computer program language)

رده :

QA76

.

73

.

P98

11. Declarative agent languages and technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers

پدیدآورنده : Joao Leite... ]et al.[

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Declarative programming

رده :

QA

76

.

L28

Vol

.

3476

12. Declarative agent languages and technologies V

پدیدآورنده : / Matteo Baldoni ... [et al.] (eds.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Programming languages (Electronic computers)--Congresses,Declarative programming--Congresses,Intelligent agents (Computer software)--Congresses

رده :

QA

,

76

.

76

,.

I58

,

D43

,

2007

13. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers

پدیدآورنده : Joao Leite...]et al.[

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(

رده :

QA

76

.

L28

Vol

.

2990

14. Exploring Robotics with ROBOTIS Systems

پدیدآورنده : Chi N. Thai

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science. , Programming languages (Electronic computers) , Artificial intelligence.

رده :

E-Book

,

15. Foundations of logic programming

پدیدآورنده : J.W. Lloyd

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

موضوع : Logic programming,Programming languages )Electronic computers( -- Semantics

رده :

QA

76

.

6

.

L583

1987

16. It's all about coordination :

پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.

رده :

QA76

.

58

.

I87

2018eb

17. Language, logic, and computation :

پدیدآورنده : Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

رده :

QA76

.

9

.

L63

18. Logic, language, and computation

پدیدآورنده : / Balder D. ten Cate, Henk W. Zeevat (eds.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer logic--Congresses,Programming languages (Electronic computers)--Semantics--Congresses,Computational linguistics--Congresses

رده :

QA

,

76

.

9

,.

L63

,

I565

,

2005

19. Logic, language, and computation :

پدیدآورنده : Nick Bezhanishvili [and others] (editions.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

رده :

QA76

.

9

.

L63

I57

2009eb

20. Meta - Levels Architectures and Reflection

پدیدآورنده : Edited by Patie MAES, Daniele NARDI

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)

رده :

QA

،

76

.

7

،.

M48

،

1988